[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 124 96 82 0 174 0 84 0

N.S.

1 1.06 0.82 0.70 0.00 1.49 0.00 0.72 0.00

time (sec)

N/A 0.243 0.116 2.039 0.000 0.255 0.000 0.311 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 184 75 77 0 84 0 100 0

N.S.

1 1.12 0.46 0.47 0.00 0.51 0.00 0.61 0.00

time (sec)

N/A 0.316 0.051 2.254 0.000 0.241 0.000 0.274 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 150 64 66 0 73 0 85 0

N.S.

1 1.10 0.47 0.49 0.00 0.54 0.00 0.62 0.00

time (sec)

N/A 0.284 0.047 2.448 0.000 0.257 0.000 0.278 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 116 52 54 0 61 0 69 0

N.S.

1 1.07 0.48 0.50 0.00 0.56 0.00 0.64 0.00

time (sec)

N/A 0.235 0.041 2.009 0.000 0.243 0.000 0.273 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 82 41 44 0 50 0 54 0

N.S.

1 1.02 0.51 0.55 0.00 0.62 0.00 0.68 0.00

time (sec)

N/A 0.203 0.038 2.063 0.000 0.256 0.000 0.281 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 28 32 0 39 0 38 0

N.S.

1 1.00 0.58 0.67 0.00 0.81 0.00 0.79 0.00

time (sec)

N/A 0.171 0.027 2.128 0.000 0.246 0.000 0.259 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 21 25 0 30 0 21 0

N.S.

1 1.00 0.91 1.09 0.00 1.30 0.00 0.91 0.00

time (sec)

N/A 0.146 0.007 2.112 0.000 0.248 0.000 0.260 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 56 51 0 155 0 67 0

N.S.

1 1.00 1.00 0.91 0.00 2.77 0.00 1.20 0.00

time (sec)

N/A 0.179 0.055 2.108 0.000 0.247 0.000 0.269 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 88 65 60 0 188 0 64 0

N.S.

1 1.09 0.80 0.74 0.00 2.32 0.00 0.79 0.00

time (sec)

N/A 0.218 0.103 2.079 0.000 0.257 0.000 0.281 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 122 84 76 0 218 0 80 0

N.S.

1 1.04 0.72 0.65 0.00 1.86 0.00 0.68 0.00

time (sec)

N/A 0.252 0.153 2.073 0.000 0.264 0.000 0.288 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 156 96 87 0 240 0 95 0

N.S.

1 1.08 0.66 0.60 0.00 1.66 0.00 0.66 0.00

time (sec)

N/A 0.287 0.182 2.056 0.000 0.262 0.000 0.295 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 85 57 82 77 161 711 264 171

N.S.

1 1.05 0.70 1.01 0.95 1.99 8.78 3.26 2.11

time (sec)

N/A 0.223 0.077 2.145 0.196 0.259 0.425 0.268 9.390

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 62 41 59 55 89 330 141 97

N.S.

1 1.07 0.71 1.02 0.95 1.53 5.69 2.43 1.67

time (sec)

N/A 0.212 0.067 2.095 0.200 0.258 0.315 0.257 9.410

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 39 25 35 33 39 105 56 34

N.S.

1 1.11 0.71 1.00 0.94 1.11 3.00 1.60 0.97

time (sec)

N/A 0.194 0.038 0.029 0.196 0.262 0.215 0.262 9.329

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

25 25 25 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.155 0.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

33 33 30 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.161 0.046 0.000 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

37 37 32 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.162 0.048 0.000 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 70 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.206 0.253 0.000 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 71 60 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.191 0.252 0.000 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 67 60 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.189 0.158 0.000 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 65 58 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.192 0.153 0.000 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 66 58 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.190 0.232 0.000 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 71 60 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.190 0.242 0.000 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 55 53 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 49 47 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.183 0.036 0.000 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 49 47 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.179 0.038 0.000 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 83 47 0 0 0 0 0 0

N.S.

1 1.69 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.203 0.035 0.000 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

42 42 40 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.180 0.035 0.000 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 45 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.181 0.038 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

52 52 47 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.181 0.037 0.000 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 58 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.185 0.049 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 58 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.187 0.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 58 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.185 0.043 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 58 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.184 0.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 58 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.187 0.048 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 58 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.189 0.049 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 45 81 30 160 13 192 39 117

N.S.

1 0.63 1.14 0.42 2.25 0.18 2.70 0.55 1.65

time (sec)

N/A 0.194 0.605 0.389 0.236 0.239 1.949 0.287 9.476

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 45 81 30 131 13 160 39 92

N.S.

1 0.63 1.14 0.42 1.85 0.18 2.25 0.55 1.30

time (sec)

N/A 0.190 0.502 0.255 0.203 0.248 1.345 0.271 9.186

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 45 81 30 102 13 128 39 63

N.S.

1 0.63 1.14 0.42 1.44 0.18 1.80 0.55 0.89

time (sec)

N/A 0.190 0.437 0.241 0.214 0.372 1.013 0.272 9.178

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A B A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

61 61 79 25 75 13 95 39 55

N.S.

1 1.00 1.30 0.41 1.23 0.21 1.56 0.64 0.90

time (sec)

N/A 0.184 0.440 0.197 0.191 0.402 0.883 0.279 9.148

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

32 32 30 19 46 10 56 33 19

N.S.

1 1.00 0.94 0.59 1.44 0.31 1.75 1.03 0.59

time (sec)

N/A 0.159 0.010 0.186 0.224 0.319 0.513 0.285 9.111

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

62 36 398 20 82 8 0 21 98

N.S.

1 0.58 6.42 0.32 1.32 0.13 0.00 0.34 1.58

time (sec)

N/A 0.180 0.878 0.240 0.187 0.360 0.000 0.273 9.194

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

65 39 154 23 87 13 0 24 103

N.S.

1 0.60 2.37 0.35 1.34 0.20 0.00 0.37 1.58

time (sec)

N/A 0.182 0.277 0.234 0.196 0.638 0.000 0.274 9.197

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

35 35 31 18 80 11 0 39 27

N.S.

1 1.00 0.89 0.51 2.29 0.31 0.00 1.11 0.77

time (sec)

N/A 0.159 0.156 0.260 0.186 0.243 0.000 0.270 9.175

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

71 45 33 20 109 13 0 40 29

N.S.

1 0.63 0.46 0.28 1.54 0.18 0.00 0.56 0.41

time (sec)

N/A 0.184 0.177 0.273 0.189 0.240 0.000 0.288 9.137

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

71 45 33 20 138 13 0 40 29

N.S.

1 0.63 0.46 0.28 1.94 0.18 0.00 0.56 0.41

time (sec)

N/A 0.186 0.201 0.341 0.200 0.232 0.000 0.278 9.079

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

71 45 33 20 167 13 0 40 29

N.S.

1 0.63 0.46 0.28 2.35 0.18 0.00 0.56 0.41

time (sec)

N/A 0.183 0.225 0.362 0.191 0.245 0.000 0.270 9.104

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 71 103 52 189 35 250 73 0

N.S.

1 0.47 0.68 0.34 1.25 0.23 1.66 0.48 0.00

time (sec)

N/A 0.209 0.994 2.537 0.192 0.222 0.646 0.271 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 71 103 52 160 35 218 73 0

N.S.

1 0.47 0.68 0.34 1.06 0.23 1.44 0.48 0.00

time (sec)

N/A 0.215 0.905 2.773 0.191 0.226 0.598 0.278 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 71 103 52 131 35 184 73 0

N.S.

1 0.47 0.68 0.34 0.87 0.23 1.22 0.48 0.00

time (sec)

N/A 0.214 0.842 2.203 0.194 0.247 0.551 0.285 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 69 103 52 102 35 153 73 0

N.S.

1 0.72 1.07 0.54 1.06 0.36 1.59 0.76 0.00

time (sec)

N/A 0.212 0.774 2.300 0.198 0.250 0.505 0.276 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 63 103 52 75 34 121 72 42

N.S.

1 1.03 1.69 0.85 1.23 0.56 1.98 1.18 0.69

time (sec)

N/A 0.186 0.697 2.283 0.188 0.257 0.489 0.273 9.103

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 23 20 46 31 294 57 32

N.S.

1 1.06 0.72 0.62 1.44 0.97 9.19 1.78 1.00

time (sec)

N/A 0.153 0.015 2.195 0.185 0.253 0.802 0.281 0.044

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 63 204 51 134 31 0 56 0

N.S.

1 0.44 1.43 0.36 0.94 0.22 0.00 0.39 0.00

time (sec)

N/A 0.201 1.051 2.161 0.186 0.251 0.000 0.284 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 62 56 53 140 36 0 57 0

N.S.

1 0.44 0.39 0.37 0.99 0.25 0.00 0.40 0.00

time (sec)

N/A 0.204 1.026 2.188 0.184 0.251 0.000 0.289 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 61 554 54 200 37 0 56 0

N.S.

1 0.43 3.93 0.38 1.42 0.26 0.00 0.40 0.00

time (sec)

N/A 0.201 1.136 2.269 0.196 0.248 0.000 0.273 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 65 242 54 229 37 0 59 0

N.S.

1 0.45 1.67 0.37 1.58 0.26 0.00 0.41 0.00

time (sec)

N/A 0.203 0.432 2.281 0.200 0.245 0.000 0.274 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 28 50 138 33 0 73 135

N.S.

1 1.00 0.76 1.35 3.73 0.89 0.00 1.97 3.65

time (sec)

N/A 0.163 0.321 2.849 0.193 0.253 0.000 0.276 9.131

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 64 55 51 167 35 0 74 135

N.S.

1 0.84 0.72 0.67 2.20 0.46 0.00 0.97 1.78

time (sec)

N/A 0.180 0.357 2.582 0.193 0.241 0.000 0.282 9.060

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 71 55 51 196 35 0 74 135

N.S.

1 0.47 0.36 0.34 1.30 0.23 0.00 0.49 0.89

time (sec)

N/A 0.209 0.363 2.386 0.205 0.248 0.000 0.279 9.029

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 71 55 51 225 35 0 74 135

N.S.

1 0.47 0.36 0.34 1.49 0.23 0.00 0.49 0.89

time (sec)

N/A 0.208 0.416 2.456 0.195 0.242 0.000 0.275 9.018

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 71 55 51 254 35 0 74 135

N.S.

1 0.47 0.36 0.34 1.68 0.23 0.00 0.49 0.89

time (sec)

N/A 0.208 0.425 2.504 0.191 0.236 0.000 0.277 9.090

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 97 77 74 189 57 275 107 0

N.S.

1 0.42 0.33 0.32 0.82 0.25 1.19 0.46 0.00

time (sec)

N/A 0.236 1.032 2.135 0.199 0.271 0.871 0.276 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 97 77 74 160 57 245 107 0

N.S.

1 0.54 0.43 0.41 0.88 0.31 1.35 0.59 0.00

time (sec)

N/A 0.243 1.025 2.070 0.191 0.243 0.797 0.280 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 92 77 74 131 56 211 106 0

N.S.

1 0.64 0.53 0.51 0.91 0.39 1.47 0.74 0.00

time (sec)

N/A 0.242 1.027 2.108 0.190 0.249 0.711 0.269 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 75 77 74 102 57 180 107 0

N.S.

1 0.70 0.72 0.69 0.95 0.53 1.68 1.00 0.00

time (sec)

N/A 0.220 1.027 2.019 0.189 0.248 0.680 0.280 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 63 125 74 75 57 148 107 0

N.S.

1 1.03 2.05 1.21 1.23 0.93 2.43 1.75 0.00

time (sec)

N/A 0.189 1.028 2.162 0.203 0.238 0.603 0.275 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 23 20 46 53 666 83 32

N.S.

1 1.06 0.72 0.62 1.44 1.66 20.81 2.59 1.00

time (sec)

N/A 0.154 0.012 2.373 0.191 0.243 1.426 0.271 0.043

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 87 74 73 182 53 0 90 0

N.S.

1 0.39 0.33 0.33 0.82 0.24 0.00 0.41 0.00

time (sec)

N/A 0.221 1.032 2.021 0.193 0.252 0.000 0.278 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 86 79 76 191 59 0 91 0

N.S.

1 0.39 0.36 0.35 0.87 0.27 0.00 0.41 0.00

time (sec)

N/A 0.226 1.028 2.037 0.193 0.244 0.000 0.295 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 88 79 76 255 59 0 91 0

N.S.

1 0.40 0.36 0.34 1.15 0.27 0.00 0.41 0.00

time (sec)

N/A 0.223 1.033 1.970 0.201 0.239 0.000 0.286 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 88 251 76 284 59 0 92 0

N.S.

1 0.40 1.13 0.34 1.28 0.27 0.00 0.41 0.00

time (sec)

N/A 0.225 1.034 2.002 0.192 0.246 0.000 0.288 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 85 634 76 311 59 0 91 0

N.S.

1 0.39 2.89 0.35 1.42 0.27 0.00 0.42 0.00

time (sec)

N/A 0.224 1.351 2.098 0.199 0.250 0.000 0.283 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 89 248 76 340 59 0 93 0

N.S.

1 0.40 1.11 0.34 1.52 0.26 0.00 0.42 0.00

time (sec)

N/A 0.225 0.695 2.057 0.208 0.254 0.000 0.283 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 28 72 196 55 0 107 207

N.S.

1 1.00 0.76 1.95 5.30 1.49 0.00 2.89 5.59

time (sec)

N/A 0.165 0.477 2.244 0.199 0.254 0.000 0.283 10.655

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 64 36 73 225 57 0 108 207

N.S.

1 0.84 0.47 0.96 2.96 0.75 0.00 1.42 2.72

time (sec)

N/A 0.180 0.518 2.296 0.206 0.253 0.000 0.299 10.364

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 90 77 73 254 57 0 108 207

N.S.

1 0.78 0.66 0.63 2.19 0.49 0.00 0.93 1.78

time (sec)

N/A 0.195 0.651 2.730 0.200 0.231 0.000 0.278 10.324

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 95 77 73 283 57 0 108 207

N.S.

1 0.41 0.34 0.32 1.24 0.25 0.00 0.47 0.90

time (sec)

N/A 0.231 0.672 2.443 0.204 0.263 0.000 0.268 10.302

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 97 77 73 312 57 0 108 207

N.S.

1 0.42 0.33 0.32 1.35 0.25 0.00 0.47 0.90

time (sec)

N/A 0.233 0.671 2.525 0.213 0.262 0.000 0.271 10.235

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 97 77 73 341 57 0 108 207

N.S.

1 0.42 0.33 0.32 1.48 0.25 0.00 0.47 0.90

time (sec)

N/A 0.228 0.663 2.589 0.210 0.249 0.000 0.280 10.144

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 83 137 67 115 52 209 83 0

N.S.

1 0.46 0.75 0.37 0.63 0.29 1.15 0.46 0.00

time (sec)

N/A 0.231 0.795 2.020 0.189 0.264 1.130 0.288 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 70 57 56 87 41 172 67 0

N.S.

1 0.49 0.40 0.39 0.60 0.28 1.19 0.47 0.00

time (sec)

N/A 0.210 1.027 2.075 0.194 0.253 0.937 0.285 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 57 144 44 31 29 141 48 0

N.S.

1 0.54 1.36 0.42 0.29 0.27 1.33 0.45 0.00

time (sec)

N/A 0.203 0.482 2.054 0.236 0.264 0.758 0.290 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 97 33 37 17 105 31 57

N.S.

1 1.00 1.56 0.53 0.60 0.27 1.69 0.50 0.92

time (sec)

N/A 0.184 0.397 1.945 0.215 0.244 0.673 0.273 9.135

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 26 25 12 10 24 17 19

N.S.

1 1.00 0.74 0.71 0.34 0.29 0.69 0.49 0.54

time (sec)

N/A 0.156 0.010 2.008 0.197 0.247 0.508 0.273 9.076

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 44 120 30 38 16 0 28 46

N.S.

1 0.65 1.76 0.44 0.56 0.24 0.00 0.41 0.68

time (sec)

N/A 0.173 0.251 2.058 0.192 0.253 0.000 0.278 9.535

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 54 151 40 65 26 0 37 68

N.S.

1 0.52 1.47 0.39 0.63 0.25 0.00 0.36 0.66

time (sec)

N/A 0.195 0.249 2.192 0.213 0.255 0.000 0.272 9.589

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 68 146 58 95 41 0 54 0

N.S.

1 0.47 1.01 0.40 0.66 0.28 0.00 0.37 0.00

time (sec)

N/A 0.211 0.389 1.962 0.219 0.248 0.000 0.272 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 82 176 69 123 54 0 65 0

N.S.

1 0.45 0.96 0.38 0.67 0.29 0.00 0.35 0.00

time (sec)

N/A 0.220 0.459 2.039 0.197 0.251 0.000 0.279 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 90 83 98 131 95 0 89 0

N.S.

1 0.52 0.48 0.57 0.76 0.55 0.00 0.52 0.00

time (sec)

N/A 0.238 1.032 2.060 0.198 0.247 0.000 0.276 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 76 71 86 101 83 0 68 0

N.S.

1 0.57 0.53 0.65 0.76 0.62 0.00 0.51 0.00

time (sec)

N/A 0.235 1.027 2.105 0.188 0.246 0.000 0.272 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 67 171 61 46 61 0 53 0

N.S.

1 0.68 1.73 0.62 0.46 0.62 0.00 0.54 0.00

time (sec)

N/A 0.219 0.620 2.049 0.190 0.247 0.000 0.271 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 107 26 39 32 0 26 36

N.S.

1 1.00 1.75 0.43 0.64 0.52 0.00 0.43 0.59

time (sec)

N/A 0.185 0.420 2.030 0.199 0.237 0.000 0.277 9.416

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 23 20 14 24 0 20 30

N.S.

1 1.00 0.68 0.59 0.41 0.71 0.00 0.59 0.88

time (sec)

N/A 0.152 0.009 2.013 0.194 0.248 0.000 0.283 9.343

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 69 62 82 78 80 0 67 0

N.S.

1 0.55 0.49 0.65 0.62 0.63 0.00 0.53 0.00

time (sec)

N/A 0.221 1.030 2.138 0.200 0.234 0.000 0.281 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 83 81 101 107 109 0 84 0

N.S.

1 0.50 0.49 0.61 0.65 0.66 0.00 0.51 0.00

time (sec)

N/A 0.240 1.033 2.309 0.204 0.261 0.000 0.289 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 102 99 115 135 130 0 97 0

N.S.

1 0.49 0.47 0.55 0.65 0.62 0.00 0.46 0.00

time (sec)

N/A 0.256 1.042 2.101 0.197 0.249 0.000 0.271 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 122 308 118 126 162 0 111 0

N.S.

1 0.50 1.26 0.48 0.52 0.66 0.00 0.45 0.00

time (sec)

N/A 0.287 1.128 2.284 0.214 0.244 0.000 0.266 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 108 93 106 113 149 0 90 0

N.S.

1 0.53 0.45 0.52 0.55 0.73 0.00 0.44 0.00

time (sec)

N/A 0.265 1.042 2.257 0.200 0.257 0.000 0.274 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 99 313 83 92 127 0 73 0

N.S.

1 0.58 1.83 0.49 0.54 0.74 0.00 0.43 0.00

time (sec)

N/A 0.261 1.054 2.141 0.204 0.244 0.000 0.277 0.000

[next] [prev] [prev-tail] [front] [up]